<?php
	if (!isset($_SESSION)) {
		session_start();
	}
?>